Câu ví dụ
- Các nhà chính thức khác, như Rudolf Carnap, Alfred Tarski và Haskell Curry, coi toán học là cuộc kiểm tra các hệ tiên đề chính thức.
- Nhà toán học Ba Lan xuất sắc thành lập Trường Lwów Toán học (với Stefan Banach , Hugo Steinhaus , Stanisław Ulam ) và Warsaw Trường Toán (với Alfred Tarski , Kazimierz Kuratowski , Wacław Sierpinski ).
